Cabalar, Pedro : rechercher sur Z-Library

Le plus grand référentiel d'articles scientifiques au monde. 70,000,000+ d'articles gratuitement.

Don't use scam websites

Livres
Articles (38)
Les plus populaires
Liste
- Liste
- Tableau

1

Forgetting auxiliary atoms in forks

Aguado, Felicidad, Cabalar, Pedro, Fandinno, Jorge, Pearce, David, Pérez, Gilberto, Vidal, Concepción

Journal:

Artificial Intelligence

Année:

2019

Langue:

english

Fichier:

PDF, 719 KB

english, 2019

2

Temporal equilibrium logic: a survey

Aguado, Felicidad, Cabalar, Pedro, Diéguez, Martín, Pérez, Gilberto, Vidal, Concepción

Journal:

Journal of Applied Non-Classical Logics

Année:

2013

Langue:

english

Fichier:

PDF, 638 KB

english, 2013

3

Temporal Equilibrium Logic with past operators

Aguado, Felicidad, Cabalar, Pedro, Diéguez, Martín, Pérez, Gilberto, Vidal, Concepción

Journal:

Journal of Applied Non-Classical Logics

Année:

2017

Langue:

english

Fichier:

PDF, 1.52 MB

english, 2017

4

Equilibrium graphs

Cabalar, Pedro, Pérez, Carlos, Pérez, Gilberto

Journal:

Annals of Mathematics and Artificial Intelligence

Année:

2019

Langue:

english

Fichier:

PDF, 1.09 MB

english, 2019

5

Stable reasoning

Cabalar, Pedro, Pearce, David, Valverde, Agustín

Journal:

Journal of Applied Non-Classical Logics

Année:

2017

Langue:

english

Fichier:

PDF, 1.89 MB

english, 2017

6

Enablers and inhibitors in causal justifications of logic programs

CABALAR, PEDRO, FANDINNO, JORGE

Journal:

Theory and Practice of Logic Programming

Année:

2017

Langue:

english

Fichier:

PDF, 308 KB

english, 2017

7

Autoepistemic answer set programming

Cabalar, Pedro, Fandinno, Jorge, FariÃ±as del Cerro, Luis

Journal:

Artificial Intelligence

Année:

2020

Fichier:

PDF, 564 KB

2020

8

Formalising the Fisherman's Folly puzzle

Pedro Cabalar, Paulo E. Santos

Journal:

Artificial Intelligence

Année:

2011

Langue:

english

Fichier:

PDF, 860 KB

english, 2011

9

Foreword

Cabalar, Pedro, Valverde, Agustín

Journal:

Journal of Applied Non-Classical Logics

Année:

2013

Langue:

english

Fichier:

PDF, 71 KB

english, 2013

10

Framing holes within a loop hierarchy

Santos, Paulo E., Cabalar, Pedro

Journal:

Spatial Cognition and Computation

Année:

2016

Langue:

english

Fichier:

PDF, 4.50 MB

english, 2016

11

A qualitative spatial representation of string loops as holes

Cabalar, Pedro, Santos, Paulo E.

Journal:

Artificial Intelligence

Année:

2016

Langue:

english

Fichier:

PDF, 872 KB

english, 2016

12

Temporal logic programs with variables

AGUADO, FELICIDAD, CABALAR, PEDRO, PÉREZ, GILBERTO, VIDAL, CONCEPCIÓN, DIÉGUEZ, MARTÍN

Journal:

Theory and Practice of Logic Programming

Année:

2017

Langue:

english

Fichier:

PDF, 290 KB

english, 2017

13

A short biography of Luis Fariñas del Cerro

Cabalar, Pedro, Diéguez, Martín, Herzig, Andreas, Pearce, David

Journal:

Journal of Applied Non-Classical Logics

Année:

2017

Langue:

english

Fichier:

PDF, 971 KB

english, 2017

14

Functional ASP with Intensional Sets: Application to Gelfond-Zhang Aggregates

CABALAR, PEDRO, FANDINNO, JORGE, FARIÑAS DEL CERRO, LUIS, PEARCE, DAVID

Journal:

Theory and Practice of Logic Programming

Année:

2018

Langue:

english

Fichier:

PDF, 267 KB

english, 2018

15

Temporal Answer Set Programming on Finite Traces

CABALAR, PEDRO, KAMINSKI, ROLAND, SCHAUB, TORSTEN, SCHUHMANN, ANNA

Journal:

Theory and Practice of Logic Programming

Année:

2018

Langue:

english

Fichier:

PDF, 238 KB

english, 2018

16

Gelfond–Zhang aggregates as propositional formulas

Cabalar, Pedro, Fandinno, Jorge, Schaub, Torsten, Schellhorn, Sebastian

Journal:

Artificial Intelligence

Année:

2019

Langue:

english

Fichier:

PDF, 463 KB

english, 2019

17

Multi-context systems in dynamic environments

Cabalar, Pedro, Costantini, Stefania, De Gasperis, Giovanni, Formisano, Andrea

Journal:

Annals of Mathematics and Artificial Intelligence

Année:

2019

Langue:

english

Fichier:

PDF, 1.06 MB

english, 2019

18

The knowledge of knots: an interdisciplinary literature review

Santos, Paulo E., Cabalar, Pedro, Casati, Roberto

Journal:

Spatial Cognition and Computation

Année:

2019

Langue:

english

Fichier:

PDF, 2.43 MB

english, 2019

19

Revisiting Explicit Negation in Answer Set Programming

AGUADO, FELICIDAD, CABALAR, PEDRO, FANDINNO, JORGE, PEARCE, DAVID, PÉREZ, GILBERTO, VIDAL, CONCEPCIÓN

Journal:

Theory and Practice of Logic Programming

Année:

2019

Langue:

english

Fichier:

PDF, 268 KB

english, 2019

20

Splitting Epistemic Logic Programs

CABALAR, PEDRO, FANDINNO, JORGE, FARIÃAS DEL CERRO, LUIS

Journal:

Theory and Practice of Logic Programming

Année:

2020

Fichier:

PDF, 332 KB

2020

21

M3DISEEN: A Novel Machine Learning Approach for Predicting the 3D Printability of Medicines

Elbadawi, Moe, MuÃ±iz Castro, Brais, Gavins, Francesca K.H., Jie Ong, Jun, Gaisford, Simon, PÃ©rez, Gilberto, Basit, Abdul W., Cabalar, Pedro, Goyanes, Ãlvaro

Journal:

International Journal of Pharmaceutics

Année:

2020

Fichier:

PDF, 2.40 MB

2020

22

Partial equilibrium logic

Pedro Cabalar, Sergei Odintsov, David Pearce, Agustín Valverde

Journal:

Annals of Mathematics and Artificial Intelligence

Année:

2007

Langue:

english

Fichier:

PDF, 775 KB

english, 2007

23

The Space within Fisherman's Folly: Playing with a Puzzle in Mereotopology

Santos, Paulo E., Cabalar, Pedro

Journal:

Spatial Cognition and Computation

Année:

2008

Langue:

english

Fichier:

PDF, 393 KB

english, 2008

24

[Lecture Notes in Computer Science] Logic Programming and Nonmonotonic Reasoning Volume 8148 || Matchmaking with Answer Set Programming

Cabalar, Pedro, Son, Tran Cao

Année:

2013

Langue:

english

Fichier:

PDF, 179 KB

english, 2013

25

An infinitary encoding of temporal equilibrium logic

CABALAR, PEDRO, DIÉGUEZ, MARTÍN, VIDAL, CONCEPCIÓN

Journal:

Theory and Practice of Logic Programming

Année:

2015

Langue:

english

Fichier:

PDF, 193 KB

english, 2015

26

A denotational semantics for equilibrium logic

AGUADO, FELICIDAD, CABALAR, PEDRO, PEARCE, DAVID, PÉREZ, GILBERTO, VIDAL, CONCEPCIÓN

Journal:

Theory and Practice of Logic Programming

Année:

2015

Langue:

english

Fichier:

PDF, 142 KB

english, 2015

27

Functional answer set programming

Journal:

Theory and Practice of Logic Programming

Année:

2011

Langue:

english

Fichier:

PDF, 248 KB

english, 2011

28

Causal Graph Justifications of Logic Programs

CABALAR, PEDRO, FANDINNO, JORGE, FINK, MICHAEL

Journal:

Theory and Practice of Logic Programming

Année:

2014

Langue:

english

Fichier:

PDF, 152 KB

english, 2014

29

Propositional theories are strongly equivalent to logic programs

CABALAR, PEDRO, FERRARIS, PAOLO

Journal:

Theory and Practice of Logic Programming

Année:

2007

Langue:

english

Fichier:

PDF, 130 KB

english, 2007

30

Answer Set Programming from a Logical Point of View

Cabalar, Pedro, Pearce, David, Valverde, Agustín

Journal:

KI - Künstliche Intelligenz

Année:

2018

Langue:

english

Fichier:

PDF, 2.06 MB

english, 2018

31

Justifications for programs with disjunctive and causal-choice rules

CABALAR, PEDRO, FANDINNO, JORGE

Journal:

Theory and Practice of Logic Programming

Année:

2016

Langue:

english

Fichier:

PDF, 352 KB

english, 2016

32

[IEEE 2018 7th Brazilian Conference on Intelligent Systems (BRACIS) - Sao Paulo, Brazil (2018.10.22-2018.10.25)] 2018 7th Brazilian Conference on Intelligent Systems (BRACIS) - Solving a Spatial Puzzle Using Answer Set Programming Integrated with Markov Decision Process

Freitas dos Santos, Thiago, Santos, Paulo, Ferreira, Leonardo, Bianchi, Reinaldo, Cabalar, Pedro

Année:

2018

Langue:

english

Fichier:

PDF, 505 KB

english, 2018

33

Minish HAT: A Tool for the Minimization of Here-and-There Logic Programs and Theories in Answer Set Programming

Martin, Rodrigo, Cabalar, Pedro

Journal:

Proceedings (American Bar Association. Section of International and Comparative Law)

Année:

2019

Langue:

english

Fichier:

PDF, 179 KB

english, 2019

34

The knowledge of knots: an interdisciplinary literature review

Santos, Paulo E., Cabalar, Pedro, Casati, Roberto

Journal:

Spatial Cognition and Computation

Année:

2019

Fichier:

PDF, 2.43 MB

2019

35

aspBEEF: Explaining Predictions Through Optimal Clustering

Cabalar, Pedro, MartÃn, Rodrigo, MuÃ±iz, Brais, PÃ©rez, Gilberto

Journal:

Proceedings (American Bar Association. Section of International and Comparative Law)

Année:

2020

Fichier:

PDF, 186 KB

2020

36

Modular Answer Set Programming as a Formal Specification Language

CABALAR, PEDRO, FANDINNO, JORGE, LIERLER, YULIYA

Journal:

Theory and Practice of Logic Programming

Année:

2020

Fichier:

PDF, 583 KB

2020

37

Towards Metric Temporal Answer Set Programming

CABALAR, PEDRO, DIÃGUEZ, MARTÃN, SCHAUB, TORSTEN, SCHUHMANN, ANNA

Journal:

Theory and Practice of Logic Programming

Année:

2020

Fichier:

PDF, 628 KB

2020

38

eclingo : A Solver for Epistemic Logic Programs

Cabalar, Pedro, Fandinno, Jorge, Garea, Javier, Romero, Javier, Schaub, Torsten

Journal:

Theory and Practice of Logic Programming

Année:

2020

Fichier:

PDF, 533 KB

2020